logical equation

逻辑等式